221. Semirings for soft constraint solving and programming
پدیدآورنده: Bistarelli, Stefano, 8691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2962
222. Service-oriented computing :
پدیدآورنده: Eleanna Kafeza, Boualem Benatallah, Fabio Martinelli, Hakim Hacid, Athman Bouguettaya, Hamid Motahari (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Application software.,Computer networks.,Database management.,Operating systems (Computers),Service-oriented architecture (Computer science), Congresses.,Software engineering.,Application software.,Computer networks.,Database management.,Operating systems (Computers),Software engineering.
رده :
TK5105
.
5828
223. Special issue of the International Multiconference of Engineers and Computer Scientists 2012
پدیدآورنده: Gi-Chul Yang [and others], editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering -- Congresses.,Engineering -- Congresses.,Software engineering -- Congresses.
رده :
TA5
.
G534
2013
224. Stochastic local search :
پدیدآورنده: Holger H. Hoos, Thomas Stützle.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms.,Combinatorial analysis.,Stochastic programming.,Algorithmes.,Analyse combinatoire.,Programmation stochastique.,Algorithms.,Combinatória.,Combinatorial analysis.,Heurística.,Inteligência artificial.,MATHEMATICS-- Optimization.,Otimização combinatória.,Stochastic programming.
رده :
T57
.
79
.
H66
2005eb
225. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
پدیدآورنده: edited by Linda C. van der Gaag.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
2013
226. System analysis and modeling :
پدیدآورنده: Ferhat Khendek, Reinhard Gotzhein (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: System analysis, Congresses.,Business & Economics-- Information Management.,Computer hardware.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Software Development & Engineering-- General.,Information architecture.,Software Engineering.,System analysis.
رده :
QA402
.
S26
2018
227. The Art of Modelling Computational Systems :
پدیدآورنده: Mário S. Alvim, Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer security.,Programming languages (Electronic computers),Computer security.,Programming languages (Electronic computers)
رده :
QA76
.
7
.
A78
2019
228. The NURBS Book
پدیدآورنده: by Les Piegl, Wayne Tiller.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Computer-aided design.,Spline theory -- Data processing.
رده :
QA224
.
B954
1995
229. Theoretical aspects of computing -- ICTAC 2018 :
پدیدآورنده: Bernd Fischer, Tarmo Uustalu (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
L63
230. Theoretical aspects of evolutionary computing
پدیدآورنده: Leila Kallel, Bart Naudts, Alex Rogers (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Biology -- Data processing.,Evolutionary programming (Computer science)
231. Theory and practice of natural computing :
پدیدآورنده: David Fagan, Carlos Martín-Vide, Michael O'Neill, Miguel A. Vega-Rodríguez (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Natural computation, Congresses.,Artificial intelligence.,Natural computation.
رده :
QA76
.
9
.
A43
232. Trends in constraint programmin
پدیدآورنده: / [edited by] Fraedaeric Benhamou, Narendra Jussien, Barry O'Sullivan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Constraint programming (Computer science)
رده :
QA
,
76
.
612
,.
T74
,
2007eb
233. Trends in constraint programming /
پدیدآورنده: edited by Frederic Benhamou, Narendra Jussien, Barry O'Sullivan
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Constraint programming (Computer science)
رده :
QA76
.
612
.
T74
2007
234. Trends in constraint programming
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Constraint programming (Computer science) ;
235. Tutorials on emerging methodologies and applications in operations research :
پدیدآورنده: edited by Harvey J. Greenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Operations research, Congresses.
236. Verification, Model Checking, and Abstract Interpretation :
پدیدآورنده: edited by Roberto Giacobazzi, Josh Berdine, Isabella Mastroeni.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Software engineering.
رده :
QA76
.
76
.
V47
E358
2013
237. Web services -- ICWS 2019 :
پدیدآورنده: John Miller, Eleni Stroulia, Kisung Lee, Liang-Jie Zhang (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Web databases, Congresses.,Web services, Congresses.,World Wide Web, Congresses.,Web databases.,Web services.,World Wide Web.
رده :
TK5105
.
88813
